fault verification

См. также в других словарях:

• Fault-tolerant computer systems — are systems designed around the concepts of fault tolerance. In essence, they have to be able to keep working to a level of satisfaction in the presence of faults. Types of fault tolerance Most fault tolerant computer systems are designed to be… …   Wikipedia

• Device driver synthesis and verification — The device driver is a program which allows the software or higher level computer programs to interact with a hardware device. These software components act as a link between the devices and the operating systems, communicating with each of these …   Wikipedia

• Space Environment Reliability Verification Integrated System — SERVIS 1/2 Typ: Experimentalsatellit Land: Japan  Japan Behörde: JAXA …   Deutsch Wikipedia

• проверка наличия неисправности — — [http://slovarionline.ru/anglo russkiy slovar neftegazovoy promyishlennosti/] Тематики нефтегазовая промышленность EN fault verificationmalfunction verification …   Справочник технического переводчика

• Maintenance philosophy — is the mix of strategies that ensure an item works as expected when needed.[1][2] Contents 1 Definition 1.1 Failure Detection 1.1.1 Conditi …   Wikipedia

• Communicating sequential processes — In computer science, Communicating Sequential Processes (CSP) is a formal language for describing patterns of interaction in concurrent systems.[1] It is a member of the family of mathematical theories of concurrency known as process algebras, or …   Wikipedia

• Software testing — is an empirical investigation conducted to provide stakeholders with information about the quality of the product or service under test [ [http://www.kaner.com/pdfs/ETatQAI.pdf Exploratory Testing] , Cem Kaner, Florida Institute of Technology,… …   Wikipedia

• Quantum Byzantine agreement — Byzantine fault tolerant protocols are algorithms that are robust to arbitrary types of failures in distributed algorithms. With the advent and popularity of the internet, there is a need to develop algorithms that do not require any centralized… …   Wikipedia

• Underground nuclear testing — Preparation for an underground nuclear test at the Nevada Test Site in the 1990s. Nuclear weapons …   Wikipedia

• Simucad — Infobox Company company name = Simucad Design Automation, Inc. company company type = Private Company| foundation = 2004 location = key people = Dr Ivan Pesic, President/CEO Mr Marc Goldberg, Sales Contact industry = Software Programming homepage …   Wikipedia

• Test logiciel — Test (informatique) En informatique, un test (anglicisme) désigne une procédure de vérification partielle d un système informatique. Le but en est de trouver un nombre maximum de comportements problématiques du logiciel, car il est impossible de… …   Wikipédia en Français